Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
381	Acta Informatica 21, Springer-Verlag 1984 A Set-Theoretic Semantics for Clear D.T. Sannella Department of Computer Science,University of Edinburgh. James Clerk Maxwell Building, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:26:38 Mathematical structures Algebraic structures Model theory Denotational semantics Structure Sheaf ALGOL 68 Universal algebra Vienna Development Method Mathematics Abstract algebra Algebra
382	Parchments for CafeOBJ logics? Till Mossakowski1 , Wieslaw Pawlowski2 , Donald Sannella3 , and Andrzej Tarlecki4 1 3 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-11-24 15:46:17 Metalogic Universal algebra Institution Structure Dual Adjoint functors Interpretation Signature Sigma-algebra Model theory Mathematics Mathematical logic
383	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: ftp.acc.umu.se Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
384	C HICAGO J OURNAL OF T HEORETICAL C OMPUTER S CIENCE 2013, Article 09, pages 1–6 http://cjtcs.cs.uchicago.edu/ Complexity of the homomorphism extension problem in the random case Alexandr Kazda∗ Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-07-24 06:23:43 Applied mathematics Mathematical optimization Graph theory Structure Homomorphism NP-complete Graph homomorphism FO Finitary relation Mathematics Complexity classes Morphisms
385	PHYSICAL REVIEW E 88, Quantifying spatial structure in experimental observations and agent-based simulations using pair-correlation functions Benjamin J. Binder* School of Mathematical Sciences, University Add to Reading List Source URL: www.maths.adelaide.edu.au Language: English - Date: 2013-08-12 18:38:21 Correlation and dependence Spatial analysis Variance Cartesian coordinate system Statistics Covariance and correlation Statistical dependence
386	Dynamical Systems and Computational Mechanisms Belgium Workshop July 1-2 , 2002 Roger Brockett Add to Reading List Source URL: hrl.harvard.edu Language: English - Date: 2003-07-10 17:54:16 Differential topology Systems theory Dynamical systems Mathematical structures Quantization Computation Degree of a continuous mapping Curve Manifold Topology Mathematics Structure
387	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:06:27 Logic Mathematical structures Abstract algebra Universal algebra Algebraic structures Structure Term algebra Denotational semantics Interpretation Mathematics Mathematical logic Model theory
388	Microsoft Word - prob39.doc Add to Reading List Source URL: www.adina.com Language: English - Date: 2015-01-30 12:42:14 Mathematical notation Summation Mathematics Fluid-structure interaction Thermal conductivity ADINA Mechanical engineering Chemistry Fluid dynamics Arithmetic
389	Computing k-Rank Answers with Ontological CP-Nets Tommaso Di Noia1 , Thomas Lukasiewicz2 , Maria Vanina Martinez2 , Gerardo I. Simari2 , and Oana Tifrea-Marciuska2 1 Dipartimento di Ingegneria Elettrica e dell’Informa Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-07-20 03:41:18 Datalog Conjunctive query Mereology Symbol Structure Net Mathematics Mathematical logic Logic
390	CCP4 NEWSLETTER ON PROTEIN CRYSTALLOGRAPHY An informal Newsletter associated with the BBSRC Collaborative Computational Project No. 4 on Protein Crystallography. Number 36 Add to Reading List Source URL: www.ccp4.ac.uk Language: English - Date: 2008-03-25 13:21:53 Computational chemistry Mathematical and theoretical biology CCP4 Protein structure Biological databases Protein Data Bank STING X-ray crystallography Bioinformatics Science Chemistry Crystallography

UPDATE